Computer algebra systems

Results: 620



#Item
131Numerical software / Array programming languages / Functional languages / PV-Wave / Computer algebra systems / Rogue Wave Software / Fortran / OpenMP / Numerical analysis / Software / Computing / Mathematical software

Absoft & Visual Numerics Announce IMSL Fortran Numerical Library for Parallel Development On Multi-core Linux, Windows and Mac OS X Systems Rochester Hills, MI., February 10, Absoft(R) Corporation and Visual Numer

Add to Reading List

Source URL: www.absoft.com

Language: English - Date: 2013-05-29 09:32:42
132Mathematics / Numerical software / Computer algebra systems / COIN-OR / Mathematical modeling / MINTO / Solver / Linear programming / Lis / Mathematical optimization / Operations research / Numerical analysis

The SYMPHONY Callable Library for Mixed Integer Programming Ted Ralphs∗ Menal Guzelsoy† August 19, 2004

Add to Reading List

Source URL: coral.ie.lehigh.edu

Language: English - Date: 2010-06-19 14:25:53
133Computer algebra systems / Cross-platform software / Mathematica / Numerical software / Wolfram Research / Number / Function / Exponentiation / Polynomial / Mathematics / Mathematical software / Science

MITFallLecture 4 c W.C Carter

Add to Reading List

Source URL: pruffle.mit.edu

Language: English - Date: 2012-09-05 10:03:10
134Matrix theory / Numerical linear algebra / Matrix / Krylov subspace / Eigenvalues and eigenvectors / John von Neumann / Determinant / Singular value decomposition / Eigendecomposition of a matrix / Algebra / Mathematics / Linear algebra

Revisit of Monte Carlo Methods on Solving LargeScale Linear Systems YAOHANG LI, PH.D. DEPARTMENT OF COMPUTER SCIENCE OLD DOMINION UNIVERSITY

Add to Reading List

Source URL: math.nist.gov

Language: English - Date: 2014-11-05 16:44:51
135Computer algebra systems / Cross-platform software / Array programming languages / Mathematica / Numerical software / Sage / Antiderivative / Function / FORM / Software / Mathematical software / Science

SeptLecture 2: Introduction to Mathematica Expressions and Evaluation R . Nearly all of the best ways involve performing examples There are very many ways to learn how to use Mathematica

Add to Reading List

Source URL: pruffle.mit.edu

Language: English - Date: 2009-06-08 11:32:38
136Systems engineering / Theoretical computer science / Diagrams / Formal methods / Binary decision diagram / Model checking / Formal verification / Boolean function / Verification / Boolean algebra / Mathematics / Mathematical logic

THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli

Add to Reading List

Source URL: research.meolic.com

Language: English - Date: 2013-12-04 04:28:45
137Image processing / Graphics file formats / Geographic information systems / Television technology / Rast / PostGIS / World file / Pixel / Map algebra / Computer graphics / Digital geometry / Computing

PostGIS 2.0 Raster Cheat Sheet vof 7 PostGIS 2.0 Raster Cheatsheet New in this release

Add to Reading List

Source URL: www.postgis.us

Language: English - Date: 2013-02-08 23:25:35
138Computer algebra systems / Cross-platform software / Mathematica / Numerical software / Wolfram Research / Exponentiation / Function / Rational function / Read–eval–print loop / Mathematical software / Mathematics / Software

SeptLecture 4: Introduction to Mathematica III Simplifying and Picking Apart Expressions, Calculus, Numerical Evaluation R is that it reduces or even eliminates A great advantage of using a symbolic algebra so

Add to Reading List

Source URL: pruffle.mit.edu

Language: English - Date: 2009-06-08 11:32:39
139Applied mathematics / Theoretical computer science / Numerical software / Computer file formats / Computer algebra systems / Linear programming / Solver / Global optimization / AMPL / Operations research / Numerical analysis / Mathematical optimization

Mathematical Programming manuscript No. (will be inserted by the editor) Arnold Neumaier · Oleg Shcherbina · Waltraud Huyer · Tam´as Vink´o A comparison of complete global optimization

Add to Reading List

Source URL: www.mat.univie.ac.at

Language: English - Date: 2005-01-17 07:50:45
140Numerical linear algebra / Numerical software / Supercomputers / TOP500 / HPC Challenge Benchmark / Benchmark / LINPACK / FLOPS / High Productivity Computing Systems / Computing / Computer hardware / Parallel computing

Microsoft PowerPoint - isc-talk-2006

Add to Reading List

Source URL: www.netlib.org

Language: English - Date: 2006-07-04 05:06:00
UPDATE